Une procédure pour le calcul du flot optimal dans un réseau antisymétrique

Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini

In this paper, we deal with the satisfiability problem for Systems of constraints over hereditarily finite sets This problem is central for integrating sets in programming languages, and particularly for constraint logic programming languages The approach we propose hère is based on reducing Systems of set constraints into Systems ofhnear integer equalities and inequahties (with bounded domain)...

Le traitement par lots dans un réseau hétérogène - implémentation du serveur OS/MVT sur IBM 360/67 pour le réseau CYCLADES

Une approche ontologique pour automatiser le contrôle de conformité dans le domaine du bâtiment

Résumé. Cet article présente la méthode et le système C3R pour vérifier de façon semi-automatique la conformité d’un projet de construction par rapport à des normes du bâtiment. Les projets de construction sont représentés par des graphes RDF et les normes par des requêtes SPARQL ; le processus de contrôle consiste en l’appariement des requêtes et des graphes. Son efficacité repose sur l’acquis...

Calcul de conséquences pour le test d’extension conservative dans un système pair-à-pair

Dans un système d’inférence pair-à-pair (P2PIS), un pair étend sa base de connaissances (KB) avec celle des autres pairs afin d’utiliser leurs connaissances pour répondre aux requêtes qui lui sont posées. Toutefois, l’extension d’une KB n’est pas nécessairement conservative. Une extension conservative garantit que le sens d’une KB est le même lorsqu’elle est considérée seule ou avec son extensi...

Un système de prédiction spectrale pour une connectivité permanente dans le cadre du suivi en temps réel de patients

Résumé. Le suivi régulier des signes vitaux garantit un traitement préventif des pathologies courantes chez une personne, lui assurant ainsi un meilleur état de santé. La majorité des solutions proposées dans ce contexte, repose sur un ensemble de capteurs sans fil hétérogènes équipant le patient et son environnement. L’urgence des transmissions de données médicales générées par ces capteurs, a...